<html>
<head><meta charset="utf-8"><title>I-prioritize #79048 Incorrect &quot;unreachable pattern&quot; warning… · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379048.20Incorrect.20.22unreachable.20pattern.22.20warning.E2.80.A6.html">I-prioritize #79048 Incorrect &quot;unreachable pattern&quot; warning…</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="216738364"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379048%20Incorrect%20%22unreachable%20pattern%22%20warning%E2%80%A6/near/216738364" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379048.20Incorrect.20.22unreachable.20pattern.22.20warning.E2.80.A6.html#216738364">(Nov 14 2020 at 16:49)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/79048">#79048</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="216738464"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379048%20Incorrect%20%22unreachable%20pattern%22%20warning%E2%80%A6/near/216738464" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jonas Schievink  [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379048.20Incorrect.20.22unreachable.20pattern.22.20warning.E2.80.A6.html#216738464">(Nov 14 2020 at 16:50)</a>:</h4>
<p>Soundness regression in exhaustiveness checking, <code>P-critical</code></p>



<a name="216738815"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379048%20Incorrect%20%22unreachable%20pattern%22%20warning%E2%80%A6/near/216738815" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379048.20Incorrect.20.22unreachable.20pattern.22.20warning.E2.80.A6.html#216738815">(Nov 14 2020 at 16:56)</a>:</h4>
<p>It's a nightly regression, would be great to bisect it</p>



<a name="216738818"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379048%20Incorrect%20%22unreachable%20pattern%22%20warning%E2%80%A6/near/216738818" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379048.20Incorrect.20.22unreachable.20pattern.22.20warning.E2.80.A6.html#216738818">(Nov 14 2020 at 16:56)</a>:</h4>
<p>I'll ping the cleanup crew</p>



<a name="216738846"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379048%20Incorrect%20%22unreachable%20pattern%22%20warning%E2%80%A6/near/216738846" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379048.20Incorrect.20.22unreachable.20pattern.22.20warning.E2.80.A6.html#216738846">(Nov 14 2020 at 16:57)</a>:</h4>
<p>Oh wait nightly just branched so this must have regressed very recently?</p>



<a name="216738847"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379048%20Incorrect%20%22unreachable%20pattern%22%20warning%E2%80%A6/near/216738847" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379048.20Incorrect.20.22unreachable.20pattern.22.20warning.E2.80.A6.html#216738847">(Nov 14 2020 at 16:57)</a>:</h4>
<p>We can probably just find it in the commit logs</p>



<a name="216739515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379048%20Incorrect%20%22unreachable%20pattern%22%20warning%E2%80%A6/near/216739515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379048.20Incorrect.20.22unreachable.20pattern.22.20warning.E2.80.A6.html#216739515">(Nov 14 2020 at 17:14)</a>:</h4>
<p>I think <span class="user-mention" data-user-id="211727">@Jonas Schievink</span> was testing with the old version of beta, 1.48 <a href="https://github.com/rust-lang/rust/commit/f58ffc93815f76576eb56df4bdeec2fe8f12b766">https://github.com/rust-lang/rust/commit/f58ffc93815f76576eb56df4bdeec2fe8f12b766</a></p>



<a name="216739517"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379048%20Incorrect%20%22unreachable%20pattern%22%20warning%E2%80%A6/near/216739517" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379048.20Incorrect.20.22unreachable.20pattern.22.20warning.E2.80.A6.html#216739517">(Nov 14 2020 at 17:14)</a>:</h4>
<p>it regressed 21 days ago</p>



<a name="216739533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379048%20Incorrect%20%22unreachable%20pattern%22%20warning%E2%80%A6/near/216739533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jonas Schievink  [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379048.20Incorrect.20.22unreachable.20pattern.22.20warning.E2.80.A6.html#216739533">(Nov 14 2020 at 17:15)</a>:</h4>
<p>probably <a href="https://github.com/rust-lang/rust/pull/78072">https://github.com/rust-lang/rust/pull/78072</a> then</p>



<a name="216739538"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379048%20Incorrect%20%22unreachable%20pattern%22%20warning%E2%80%A6/near/216739538" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jonas Schievink  [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379048.20Incorrect.20.22unreachable.20pattern.22.20warning.E2.80.A6.html#216739538">(Nov 14 2020 at 17:15)</a>:</h4>
<p>I was testing on the playground</p>



<a name="216739601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379048%20Incorrect%20%22unreachable%20pattern%22%20warning%E2%80%A6/near/216739601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379048.20Incorrect.20.22unreachable.20pattern.22.20warning.E2.80.A6.html#216739601">(Nov 14 2020 at 17:16)</a>:</h4>
<p>P-critical I think</p>



<a name="216739602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379048%20Incorrect%20%22unreachable%20pattern%22%20warning%E2%80%A6/near/216739602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379048.20Incorrect.20.22unreachable.20pattern.22.20warning.E2.80.A6.html#216739602">(Nov 14 2020 at 17:16)</a>:</h4>
<p>this is super easy to trigger and unsound</p>



<a name="216739786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379048%20Incorrect%20%22unreachable%20pattern%22%20warning%E2%80%A6/near/216739786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379048.20Incorrect.20.22unreachable.20pattern.22.20warning.E2.80.A6.html#216739786">(Nov 14 2020 at 17:23)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/79048">#79048</a>'s prioritization request has been removed.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>